Issue555c.agda:7,8-9
Set a is not less or equal than Set
when checking the definition of R
